Alberto Sangiovanni-Vincentelli：在 Z-Library 上搜索

您通往知识和文化的门户。每个人都可以使用。

募捐 9月15日2024 – 10月1日2024

Z-Library 是世界上最大的在线图书馆之一，它拥有超过17,000,000的书籍和84,837,000的文章。我们的目标是让每个人都能获得文学作品. 今天(9月15日2024)，我们又发起了一个募捐活动，以支持和发展这个项目.

同时无限下载 (捐款后31日内) 可适与所有在10月1日2024之前进行捐款的用户.

关于筹款更多

捐款

书籍 (27)
最受欢迎
- 分类方式×
- 最受欢迎
- 最佳吻合
- 最近添加
- 按名称 (A-Z)
- 按名称 (Z-A)
- 按年份
- 文件大小↓
- 文件大小↑
列表
- 列表
- 表格

Synthesis of Finite State Machines: Logic Optimization

Springer US

Tiziano Villa, Timothy Kam, Robert K. Brayton, Alberto Sangiovanni-Vincentelli (auth.)

年:

1997

语言:

english

文件:

PDF, 9.74 MB

5.0 / 5.0

english, 1997

Substrate Noise: Analysis and Optimization for IC Design

Springer

Edoardo Charbon, Ranjit Gharpurey, Paolo Miliozzi, Robert G. Meyer, Alberto L. Sangiovanni-Vincentelli

年:

2001

语言:

english

文件:

PDF, 9.53 MB

0 / 0

english, 2001

Noise Analysis of Radio Frequency Circuits

Springer US

Amit Mehrotra, Alberto Sangiovanni-Vincentelli (auth.)

年:

2004

语言:

english

文件:

PDF, 8.60 MB

0 / 0

english, 2004

Embedded Systems Development: From Functional Models to Implementations

Springer-Verlag New York

Alberto Sangiovanni-Vincentelli, Haibo Zeng (auth.), Alberto Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, Peter Marwedel (eds.)

年:

2014

语言:

english

文件:

PDF, 4.75 MB

0 / 0

english, 2014

Hardware-Software Co-Design of Embedded Systems: The POLIS Approach

Springer US

Felice Balarin, Massimiliano Chiodo, Paolo Giusto, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Claudio Passerone, Alberto Sangiovanni-Vincentelli, Ellen Sentovich, Kei Suzuki, Bassam Tabbara (auth.)

年:

1997

语言:

english

文件:

PDF, 18.05 MB

0 / 0

english, 1997

Security Mechanisms and Security-Aware Mapping for Real-Time Distributed Embedded Systems

Springer International Publishing

Chung-Wei Lin, Alberto Sangiovanni-Vincentelli

年:

2015

语言:

english

文件:

EPUB, 1.57 MB

0 / 0

english, 2015

Embedded Systems Development: From Functional Models to Implementations

Springer

Alberto Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, Peter Marwedel

年:

2013

语言:

english

文件:

PDF, 5.99 MB

0 / 0

english, 2013

Selected Papers on Computer Aided Design of Very Large Scale Integrated Circuits (Advances in Circuits and Systems)

Ieee

Alberto Sangiovanni-Vincentelli

年:

1987

语言:

english

文件:

DJVU, 6.85 MB

0 / 0

english, 1987

The Unknown Component Problem: Theory and Applications

Springer US

Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko, Alexandre Petrenko, Alberto Sangiovanni-Vincentelli (auth.)

年:

2012

语言:

english

文件:

PDF, 2.72 MB

0 / 0

english, 2012

Embedded Software: Second International Conference, EMSOFT 2002 Grenoble, France, October 7–9, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Amir Pnueli (auth.), Alberto Sangiovanni-Vincentelli, Joseph Sifakis (eds.)

年:

2002

语言:

english

文件:

PDF, 4.38 MB

0 / 0

english, 2002

The Unknown Component Problem: Theory and Applications

Springer US

Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko, Alexandre Petrenko, Alberto Sangiovanni-Vincentelli (auth.)

年:

2012

语言:

english

文件:

PDF, 4.83 MB

0 / 0

english, 2012

Synthesis of Finite State Machines: Functional Optimization

Springer US

Timothy Kam, Tiziano Villa, Robert Brayton, Alberto Sangiovanni-Vincentelli (auth.)

年:

1997

语言:

english

文件:

PDF, 7.24 MB

5.0 / 5.0

english, 1997

Analysis and Simulation of Noise in Nonlinear Electronic Circuits and Systems

Springer US

Alper Demir, Alberto Sangiovanni-Vincentelli (auth.)

年:

1998

语言:

english

文件:

PDF, 7.17 MB

0 / 0

english, 1998

Logic Synthesis for Field-Programmable Gate Arrays

Springer US

Rajeev Murgai, Robert K. Brayton, Alberto Sangiovanni-Vincentelli (auth.)

年:

1995

语言:

english

文件:

PDF, 9.29 MB

0 / 0

english, 1995

Security-Aware Design for Cyber-Physical Systems: A Platform-Based Approach

Springer International Publishing

Chung-Wei Lin, Alberto Sangiovanni-Vincentelli (auth.)

年:

2017

语言:

english

文件:

PDF, 4.10 MB

0 / 0

english, 2017

Logic Minimization Algorithms for VLSI Synthesis

Springer US

Robert K. Brayton, Gary D. Hachtel, Curtis T. McMullen, Alberto L. Sangiovanni-Vincentelli (auth.)

年:

1984

语言:

english

文件:

PDF, 6.32 MB

0 / 0

english, 1984

Steady-State Methods for Simulating Analog and Microwave Circuits

Springer US

Kenneth S. Kundert, Jacob K. White, Alberto Sangiovanni-Vincentelli (auth.)

年:

1990

语言:

english

文件:

PDF, 5.02 MB

0 / 0

english, 1990

A Top-Down, Constraint-Driven Design Methodology for Analog Integrated Circuits

Springer US

Henry Chang, Edoardo Charbon, Umakanta Choudhury, Alper Demir, Eric Felt, Edward Liu, Enrico Malavasi, Alberto Sangiovanni-Vincentelli, Iasson Vassiliou (auth.)

年:

1997

语言:

english

文件:

PDF, 19.01 MB

0 / 0

english, 1997

Cross-Talk Noise Immune VLSI Design Using Regular Layout Fabrics

Springer US

Sunil P. Khatri, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli (auth.)

年:

2001

语言:

english

文件:

PDF, 3.23 MB

0 / 0

english, 2001

Algorithms for Synthesis and Testing of Asynchronous Circuits

Kluwer Academic Publishers

Luciano Lavagno, Alberto Sangiovanni-Vincentelli

年:

1993

语言:

english

文件:

DJVU, 2.54 MB

0 / 0

english, 1993

Security-Aware Design for Cyber-Physical Systems A Platform-Based Approach

Springer International Publishing

Lin, Chung-Wei, Sangiovanni-Vincentelli, Alberto

年:

2017

语言:

english

文件:

PDF, 4.10 MB

0 / 0

english, 2017

Relaxation Techniques for the Simulation of VLSI Circuits

Springer US

Jacob K. White, Alberto Sangiovanni-Vincentelli (auth.)

年:

1986

语言:

english

文件:

PDF, 7.26 MB

0 / 0

english, 1986

Function/Architecture Optimization and Co-Design of Embedded Systems

Springer US

Bassam Tabbara, Abdallah Tabbara, Alberto Sangiovanni-Vincentelli (auth.)

年:

2000

语言:

english

文件:

PDF, 8.42 MB

0 / 0

english, 2000

Hybrid Systems: Computation and Control: 4th International Workshop, HSCC 2001 Rome, Italy, March 28–30, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Manfred Morari (auth.), Maria Domenica Di Benedetto, Alberto Sangiovanni-Vincentelli (eds.)

年:

2001

语言:

english

文件:

PDF, 7.73 MB

0 / 0

english, 2001

Synchronous Equivalence: Formal Methods for Embedded Systems

Springer US

Harry Hsieh, Felice Balarin, Alberto Sangiovanni-Vincentelli (auth.)

年:

2001

语言:

english

文件:

PDF, 6.52 MB

0 / 0

english, 2001

Substrate Noise: Analysis and Optimization for IC Design

Springer US

Edoardo Charbon, Ranjit Gharpurey, Paolo Miliozzi, Robert G. Meyer, Alberto Sangiovanni-Vincentelli (auth.)

年:

2003

语言:

english

文件:

PDF, 9.24 MB

0 / 0

english, 2003

Hybrid Systems: Computation and Control: 4th International Workshop, HSCC 2001 Rome, Italy, March 28–30, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Manfred Morari (auth.), Maria Domenica Di Benedetto, Alberto Sangiovanni-Vincentelli (eds.)

年:

2001

语言:

english

文件:

PDF, 15.60 MB

0 / 0

english, 2001